Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Didier Galmiche »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Didier Gagnaire < Didier Galmiche < Didier Grzejszczak  Facettes :

List of bibliographic references indexed by Didier Galmiche

Number of relevant bibliographic references: 149.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000105 (2016) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000677 (2015) Didier Galmiche [France] ; Yakoub Salhi [France]Tree-sequent calculi and decision procedures for intuitionistic modal logics
000726 (2015) Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France]An Epistemic Separation Logic
000735 (2015) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Separation Logic for Resource Dynamics
000789 (2015) Didier Galmiche [France] ; David Pym [Royaume-Uni]Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
000966 (2014-09-01) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Looking at Separation Algebras with Boolean BI-eyes
000B15 (2014-06-09) Didier Galmiche [France] ; Stéphane Graham-Lengrand [France]Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.
000B16 (2014-06-07) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000E60 (2014) Didier Galmiche [France] ; Stéphane Graham-Lengrand [France]Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation
000E88 (2014) Philippe Balbiani [France] ; Vincent Demange [France] ; Didier Galmiche [France]A sequent calculus with labels for Public Announcement Logic
001321 (2013-02) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Nondeterministic Phase Semantics and the Undecidability of Boolean BI
001674 (2013) Didier Galmiche [France] ; Daniel Méry [France]A Connection-based Characterization of Bi-intuitionistic Validity
001765 (2013) Jean-René Courtault [France] ; Didier Galmiche [France] ; Daniel Méry [France]An Interactive Prover for Bi-intuitionistic Logic
001788 (2013) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Extension of Boolean BI for Resource Transformations
001789 (2013) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal BI Logic for Dynamic Resource Properties
001790 (2013) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
001C24 (2012-03) Jack Copeland [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Alan Turing
001F14 (2012) Jack Copeland ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Special issue of Philosophia Scientiae - Alan Turing
002209 (2011-07-31) Didier Galmiche [France] ; Daniel Mery [France]A Connection-based Characterization of Bi-intuitionistic Validity
002407 (2011-03-26) Didier Galmiche [France] ; Daniel Mery [France]Characterization of bi-intuitionistic validity through resource games
002793 (2011) Didier Galmiche [France] ; Daniel Méry [France]A Connection-Based Characterization of Bi-intuitionistic Validity

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Didier Galmiche" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Didier Galmiche" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Didier Galmiche
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022